Erlang OTP

Erlang is a programming language and runtime system for building massively scalable soft real-time systems with requirements on high availability.

Details
Gleam

Gleam is a friendly language for building type-safe systems that scale!

Details